ccpred(${\it id}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr inr (inl ${\it id}$ )